[MINI-OS] unbind_virq is broken and nobody uses it. Remove it.
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:00:37 +0000 (14:00 +0100)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:00:37 +0000 (14:00 +0100)
commitd4b239ecc1455bd212c410bdb2bacaa2d3a6b702
treeeb34ad63c30d1e880969d0b50c357055f81e4452
parenta111f90b19c58f12bd708927c5bf32a1117239fb
[MINI-OS] unbind_virq is broken and nobody uses it.  Remove it.

Signed-off-by: Steven Smith <sos22@cam.ac.uk>
extras/mini-os/events.c
extras/mini-os/include/events.h